ISO/IEC TS 24718:2025

مواصفة قياسية دولية   الإصدار الحالي · اعتمدت بتاريخ ٢٤ يناير ٢٠٢٥

Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems

ملفات الوثيقة ISO/IEC TS 24718:2025

الإنجليزية 52 صفحات
الإصدار الحالي
مجاناً

مجال الوثيقة ISO/IEC TS 24718:2025

This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.

To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage.

This document is aimed at a broad audience, including application programmers, implementers of run-time systems, those responsible for defining company or project guidelines, and academics. Familiarity with the Ada language is assumed.

الأكثر مبيعاً

GSO 150-2:2013
 
مواصفة قياسية خليجية
فترات صلاحية المنتجات الغذائية - الجزء الثاني : فترات الصلاحية الاختيارية
YSMO GSO 150-2:2020
GSO 150-2:2013 
لائحة فنية يمنية
فترات صلاحية المنتجات الغذائية - الجزء الثاني : فترات الصلاحية الاختيارية
YSMO GSO 2055-1:2020
GSO 2055-1:2015 
مواصفة قياسية يمنية
الأغذية الحلال – الجزء الأول : الاشتراطات العامة للأغذية الحلال
GSO 2055-1:2015
 
لائحة فنية خليجية
الأغذية الحلال – الجزء الأول : الاشتراطات العامة للأغذية الحلال

اعتمدت مؤخراً

ISO 10110-11:2025
 
مواصفة قياسية دولية
Optics and photonics — Preparation of drawings for optical elements and systems — Part 11: Non-toleranced data
ISO 24255:2025
 
مواصفة قياسية دولية
Essential oil of clary sage (Salvia sclarea L.) "prewilted" French type and "chopped" French type
ISO 6362-6:2025
 
مواصفة قياسية دولية
Wrought aluminium and aluminium alloys — Extruded rods/bars, tubes and profiles — Part 6: Tolerances on form and dimensions for round, square, rectangular and hexagonal tubes
ISO 7334:2025
 
مواصفة قياسية دولية
Earth-moving machinery — Vocabulary and taxonomy for automation and autonomy